Soft conflicts of 2567-2 ssk v1.fet Generated with FET 6.25.1 on 11/9/24 1:43 PM Number of broken soft constraints: 0 Total soft conflicts: 0 Soft conflicts list (in decreasing order): End of file.